-
1 высказываний исчисление
Русско-белорусский математический словарь > высказываний исчисление
-
2 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
3 исчисление
матем.1) ( действие) обчи́слення, (неоконч. - ещё) обчи́слювання, обчисля́ння; ви́рахування, (неоконч. - ещё) вирахо́вування2) (совокупность приёмов, наименований и обозначений чисел) чи́слення- интегральное исчисление
- исчисление вероятностей
- исчисление высказываний
- исчисление кванторов
- исчисление классов
- исчисление отношений
- исчисление подстановок
- исчисление равенства
- приближённое исчисление
- разностное исчисление
- ступенчатое исчисление
- тензорное исчисление
- уравнительное исчисление
- функциональное исчисление -
4 исчисление
матем.1) ( действие) обчи́слення, (неоконч. - ещё) обчи́слювання, обчисля́ння; ви́рахування, (неоконч. - ещё) вирахо́вування2) (совокупность приёмов, наименований и обозначений чисел) чи́слення- интегральное исчисление
- исчисление вероятностей
- исчисление высказываний
- исчисление кванторов
- исчисление классов
- исчисление отношений
- исчисление подстановок
- исчисление равенства
- приближённое исчисление
- разностное исчисление
- ступенчатое исчисление
- тензорное исчисление
- уравнительное исчисление
- функциональное исчисление -
5 исчисление
Большой русско-немецкий полетехнический словарь > исчисление
-
6 исчисление
с. calculus -
7 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
8 исчисление
n.calculus, computation -
9 исчисление высказываний
исчисление высказываний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление высказываний
-
10 исчисление высказываний
-
11 исчисление высказываний
Русско-английский новый политехнический словарь > исчисление высказываний
-
12 исчисление высказываний
Русско-английский военно-политический словарь > исчисление высказываний
-
13 исчисление высказываний
1. sentential calculus2. propositional calculusРусско-английский большой базовый словарь > исчисление высказываний
-
14 исчисление высказываний
Русско-английский словарь по информационным технологиям > исчисление высказываний
-
15 исчисление высказываний
1) <math.> propositional calculus
2) sentential calculusРусско-английский технический словарь > исчисление высказываний
-
16 исчисление высказываний
1) Engineering: propositional calculus2) Mathematics: PC (propositional calculus), sentence calculus, sentential calculus3) Information technology: prepositional calculus, sententional calculusУниверсальный русско-английский словарь > исчисление высказываний
-
17 исчисление высказываний с тождеством
Mathematics: SCI (sequential calculus with identity)Универсальный русско-английский словарь > исчисление высказываний с тождеством
-
18 исчисление высказываний
Русско-английский словарь по машиностроению > исчисление высказываний
-
19 исчисление высказываний
neng. AussagenkalkülУниверсальный русско-немецкий словарь > исчисление высказываний
-
20 исчисление высказываний
чи́слення висло́влювань, чи́слення ви́словленьРусско-украинский политехнический словарь > исчисление высказываний
См. также в других словарях:
ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ — пропозициональное исчисление, общее название дедуктивных систем, выводимые объекты к рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. и.) суждений при помощи пропозициональных связок (таких, как не , и … Математическая энциклопедия
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е.… … Философская энциклопедия
исчисление высказываний — раздел математической логики, аксиоматическое построение логики высказываний. * * * ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ) … Энциклопедический словарь
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
ИСЧИСЛЕНИЕ КЛАССОВ — аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем);… … Философская энциклопедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — раздел математической логики, аксиоматическое построение логики высказываний … Большой Энциклопедический словарь
Исчисление высказываний — исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с … Большая советская энциклопедия
исчисление высказываний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN propositional calculus … Справочник технического переводчика